2*1139^n+1
